<?php
// 兼容旧版本前端控制器 /platform/index.php
$map = [
    'profile_index' => '/profile',
];
$t = $_REQUEST['t'];
if (isset($map[$t])) {
    $_SERVER['REQUEST_URI'] = $map[$t];
}
require dirname(__FILE__).'/../index.php';
